Formal semantics - PDFSEARCH.IO - Document Search Engine

Formal semantics
Results: 502

#	Item
141	A Fixpoint Calculus for Local and Global Program Flows Rajeev Alur Swarat Chaudhuri P. Madhusudan Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2008-03-07 16:10:53 Formal languages Metalogic Automata theory Kripke semantics Sheaf theory Partition Nested word Well-formed formula Model theory Logic Mathematics Mathematical logic
142	Towards formal semantics for reorganization Virginia Dignum Frank Dignum Add to Reading List Source URL: www.cs.uu.nl Language: English - Date: 2006-12-21 05:31:18 Number theory Partition Abstraction Modal logic Organizational behavior Agent-based model Organization Mathematics Logic Combinatorics
143	LPI‐IP Formal Interpretation Form 14048 W. Petronella Dr. Suite 104 Libertyville, IL 60048 (224) 433 Add to Reading List Source URL: www.lpi-ip.com Language: English - Date: 2014-02-27 10:13:22 Philosophy of mind Semantics Libertyville Illinois Philosophy Logic Mind Interpretation Model theory Philosophy of language
144	Horn Clause Solvers for Program Verification Nikolaj Bjørner, Arie Gurfinkel, Ken McMillan and Andrey Rybalchenko Microsoft Research, Software Engineering Institutute Abstract. Several recent symbolic model checking too Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2015-04-11 16:07:03 Logic in computer science Formal methods Mathematical logic Predicate logic Rules of inference Resolution Horn clause Predicate transformer semantics Constraint logic programming Theoretical computer science Mathematics Logic
145	Summary of Successful ARC Future Fellowships Proposals for Funding to Commence in 2010 by State and Organisation New South Wales University of Technology, Sydney FT100100218 Dr Yuan Feng Approved Add to Reading List Source URL: arc.gov.au Language: English - Date: 2010-11-08 23:01:00 Zhu Feng WP Formal methods Predicate transformer semantics Program logic
146	WP 0.6 (Draft Manual) WP Plug-in (Draft) Manual Version 0.6 for OxygenPatrick Baudin, Loïc Correnson, Zaynah Dargaye Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:56 Predicate transformer semantics Software Logic in computer science Hoare logic Frama-C Precondition Lambert W function Program logic Theoretical computer science Formal methods
147	SFEDL’04 Preliminary Version Semantics and Analysis of Instruction List Programs Ralf Huuck Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2004-02-19 22:18:10 Logic Metalogic Interpretation Structure Metaphilosophy Formal languages Model theory Mathematics
148	A Generative Model for Parsing Natural Language to Meaning Representations Luke S. Zettlemoyer Wei Lu1 , Hwee Tou Ng1,2 , Wee Sun Lee1,2 1 CSAIL Add to Reading List Source URL: www.comp.nus.edu.sg Language: English - Date: 2008-11-26 20:13:47 Computational linguistics Speech recognition Cognitive science Semantics Analogy Modal logic N-gram Minimalist program Formal grammar Linguistics Science Logic
149	WP 0.7 WP Plug-in Manual Version 0.7 for FluorinePatrick Baudin, Loïc Correnson, Zaynah Dargaye Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:55 Hoare logic Frama-C Formal methods Lambert W function Program logic Predicate transformer semantics Software
150	Program Verification as Satisfiability Modulo Theories Nikolaj Bjørner Microsoft Research Ken McMillan Microsoft Research Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2012-08-15 16:20:10 Applied mathematics Electronic design automation Logic in computer science NP-complete problems Constraint programming Satisfiability Modulo Theories Boolean satisfiability problem Prolog Predicate transformer semantics Theoretical computer science Mathematics Formal methods

UPDATE